$\forall$$L$:Knd List, $l$:IdLnk, ${\it tg}$:Id.
\\[0ex]@source($l$): only $L$ sends on ($l$ with ${\it tg}$) realizes ${\it es}$. only events in $L$ send on $l$ with ${\it tg}$